package org.mentalsmash.tazio.evaluation.mock;

import java.io.Serializable;

import org.mentalsmash.tazio.transactions.PropertyGetter;
import org.mentalsmash.tazio.transactions.PropertySetter;
import org.mentalsmash.tazio.transactions.RollbackException;
import org.mentalsmash.tazio.transactions.Transactional;

@Transactional(implementation=LightCounterImpl.class)
public interface LightCounter extends Serializable {
    @PropertyGetter(propertyName="counterVal")
    int getValue() throws RollbackException;
    @PropertySetter(propertyName="counterVal")
    void setValue(int newValue) throws RollbackException;
    @PropertyGetter(propertyName="payload")
    String getString() throws RollbackException;
    @PropertySetter(propertyName="payload")
    void setString(String val) throws RollbackException;
    
}
